#include <stdio.h>
/*
 * Write a program to print the value of EOF. 
 */
main()
{
   printf("%d\n", EOF);
}
